Methodes en syntaxe

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Syntaxe et Interpretation

Sub-categorization in 'pour' and lexical syntax (Sous-catégorisation en pour et syntaxe lexicale) [in French]

Sub-categorized arguments introduced by the French preposition pour has been under-studied in previous work, as can be seen from the incompleteness of existing lexical-syntactic resources in that regard. In this paper, we briefly introduce the various types of sub-categorization in pour, which are to be distinguished from occurrences of pour as a discourse connective. We describe how we added a...

Métaphore, analogie et syntaxe

RÉSUMÉ. Après une analyse des différents sens qu’offre en rhétorique le terme d’analogie, on se demande dans quelle mesure les métaphores relèvent d’un tel mécanisme. On montre que si l’analogie doit être comprise comme proportionnalité, elle ne peut s’appliquer qu’aux métaphores in absentia qui unissent un substantif et un verbe ou un adjectif. Pour les in praesentia, qui mettent en relation d...

New Methodes for Sequential Hashing with Supertrace

Partial search methods like bitstate hashing, or supertrace, allow formal verification techniques to be applied to problems which normally could not be solved by exhaustive verification. A high coverage (defined as the percentage of the reachable states actually explored by the verifier) is important since the higher the coverage the lower the probability that a protocol error is not detected. ...